pub type BinomialHeapValue = VoidPtr;
